301. Recent Advances in Computational Optimizatio
پدیدآورنده : / edited by Stefka Fidanova
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Artificial intelligence,Electronic books
رده :
E-BOOK
302. Recent Advances in Intelligent Paradigms and Applications
پدیدآورنده : edited by Ajith Abraham, Lakhmi C. Jain, Janusz Kacprzyk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
303. Recent advances in constraints
پدیدآورنده : [edited by]& Javier Larrosa, Barry O'Sullivan
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
304. Recent advances in constraints
پدیدآورنده : Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
305. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
306. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
307. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
308. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
309. Research and development in intelligent systems XIX :
پدیدآورنده : Max Bramer, Alun Preece, and Frans Coenen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inteligencia artificial -- Congresos.,Sistemas expertos (Informática) -- Congresos.,Sistemas expertos (Informática) -- Congresos.
رده :
QA76
.
76
.
E95
M393
2003
310. Robotic building /
پدیدآورنده : Henriette Bier, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Building-- Technological innovations.,Design and technology.,Robots, Industrial.,Artificial intelligence.,Building construction & materials.,Building-- Technological innovations.,Design and technology.,Human-computer interaction.,Robotics.,Robots, Industrial.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TH900
311. Rough Sets and Current Trends in Computing.
پدیدآورنده : Wojciech Ziarko
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ebooks -- UML.
312. Scalable Uncertainty Management
پدیدآورنده : \ Christoph Beierle • Alex Dekhtyar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
رده :
Q
375
.
S8S28
2015
E-Book
,
313. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
314. Scalable uncertainty management :
پدیدآورنده : Salem Benferhat, John Grant, (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses,Artificial intelligence-- Congresses,Uncertainty (Information theory)-- Congresses
رده :
Q375
.
S86
2011
315. Sentential probability logic :
پدیدآورنده : Theodore Hailperin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean.,Algebraic logic.,Probabilities.
رده :
QA10
.
T446
1996
316. Simulated Evolution and Learning.
پدیدآورنده : Bob McKay
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
317. Simulated evolution and learning :
پدیدآورنده : Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
رده :
QA76
.
9
.
C65
S42
1996
318. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
319. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
320. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
